{=} ∧ True
